$\forall$$L$:($\mathbb{Z}$ List). (0 $<$ $\parallel$$L$$\parallel$) $\Rightarrow$ (imax{-}list($L$) $\in$ $\mathbb{Z}$)